Conjunctive query

Results: 182



#Item
171Tbox / FO / Ontology / Abox / Conjunctive query

Data Complexity in the EL family of DLs Adila Krisnadhi1 and Carsten Lutz2 1 2

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
172Mathematical logic / Logic in computer science / Semantic Web / Conjunctive query / Database theory / Description logic / Datalog / Answer set programming / Stable model semantics / Theoretical computer science / Logic / Logic programming

Exploiting Conjunctive Queries in Description Logic Programs? Thomas Eiter1 , Giovambattista Ianni1,2 , Thomas Krennwallner1 , and Roman Schindlauer1,2 1

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
173Conjunctive query / Database theory / FO

Conjunctive Query Entailment for SHOQ Birte Glimm? , Ian Horrocks, and Ulrike Sattler [glimm,horrocks,sattler]@cs.man.ac.uk The University of Manchester, UK Abstract. An important reasoning task, in addition to the stan

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
174Data / Computer languages / Web services / Abox / RDF / Semantic Web / Tbox / Semantic reasoner / Conjunctive query / Ontology / Computing / Information

Using Off-the-Shelf Reasoners for Reasoning over Distributed ABoxes Florian Fuchs and Michael Berger Siemens AG, Corporate Technology, Intelligent Autonomous Systems Otto-Hahn-Ring 6, 81739 Munich, Germany {florian.fuchs

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
175Science / Semantic Web / Non-classical logic / Fuzzy logic / Logic in computer science / Conjunctive query / Description logic / Semantic reasoner / Semantic Web Rule Language / Logic / Mathematical logic / Artificial intelligence

Expressive Querying over Fuzzy DL-Lite Ontologies(∗) Jeff Z. Pan1 , Giorgos Stamou2 , Giorgos Stoilos2 , and Edward Thomas1

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
176Information / Database theory / Data integration / Conjunctive query / Database management systems / Data modeling / Relational database management systems / Data exchange / Database / Data management / Computing / Data

Theoretical Computer Science[removed] – 124 www.elsevier.com/locate/tcs

Add to Reading List

Source URL: researcher.ibm.com

Language: English - Date: 2006-12-11 17:41:19
177Data integration / FO / Mathematics / Computational complexity theory / Inequality / Information / Conjunctive query / Database theory / Datalog

Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries Marcelo Arenas

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2011-10-03 19:09:27
178Metalogic / FO / Datalog / Structure / Forcing / Conjunctive query / Finite model theory / First-order logic / Interpretation / Mathematical logic / Logic / Model theory

On Datalog vs. LFP Anuj Dawar and Stephan Kreutzer 1

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2008-05-21 09:46:10
179Conjunctive query / Database theory / Relational model / Data / Information / Query plan / Structure / Query optimizer / Data integration / Database management systems / SQL / Data management

Querying Heterogeneous

Add to Reading List

Source URL: www.vldb.org

Language: English - Date: 2006-07-29 01:43:30
180Logic in computer science / Logic / Mathematical logic / Conjunctive query / Database theory / Datalog / Logic programming / Resolution / Rewriting / Theoretical computer science / Mathematics / Query languages

PDF Document

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2013-05-10 10:15:01
UPDATE